function selectAll() {
    selectAllButton = document.getElementById("select_all");
    numberCheckButtons = document.getElementsByName("number");
    if (selectAllButton.checked) {
        for (const key in numberCheckButtons) {
            numberCheckButtons[key].checked = true;
        }
    }
    else {
        for (const key in numberCheckButtons) {
            numberCheckButtons[key].checked = false;
        }
    }
}